Issue586b.agda:3,1-20
Cannot use TERMINATING pragma with safe flag.
